181. Programming Paradigms in Graphics :
پدیدآورنده : edited by Remco C. Veltkamp, Edwin H. Blake.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.
رده :
T385
.
E358
1995
182. Programming constraint services :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ;
183. Programming constraint services : high-level programming of standard and new constraint services
پدیدآورنده : Schulte, Christian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2302
184. Programming with constraints: an introduction
پدیدآورنده : Marriott, Kim
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming,، Constraint programming )Computer science(
رده :
QA
76
.
63
.
M37
1998
185. Progress in Artificial Intelligence :
پدیدآورنده : edited by Miguel Filgueiras, Luís Damas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
186. Progress in artificial intelligence :
پدیدآورنده : 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki
187. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده : Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
188. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
189. Reasoning with probabilistic and deterministic graphical models :
پدیدآورنده : Rina Dechter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
190. Recent Advances in Intelligent Paradigms and Applications
پدیدآورنده : edited by Ajith Abraham, Lakhmi C. Jain, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
191. Recent advances in constraints
پدیدآورنده : Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
192. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
193. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
194. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
195. Recent developments in decision support systems
پدیدآورنده : edited by Clyde W. Holsapple, University of Kentucky, Business and Economic Bldg., Room 317, Lexington, KY 40506-0034, USA, Andrew B. Whinston, Department of Management Science and Information Systems, CBA 5.202, Graduate School of Business, University of Texas at Austin, Austin, TX 78712-1175, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision support systems -- Congresses.,Decision support systems.,Management -- Data processing -- Congresses.
196. Reliability Prediction from Burn-in Data Fit to Reliability Models /
پدیدآورنده : Joseph B. Bernstein
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Electronic apparatus and appliances-- Reliability,Reliability (Engineering)
رده :
TK7870
.
23
.
B47
2014
197. Resource allocation for OFDMA systems /
پدیدآورنده : Chen Chen, Xiang Cheng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Orthogonal frequency division multiplexing.,Radio resource management (Wireless communications),Orthogonal frequency division multiplexing.,Radio resource management (Wireless communications)
رده :
TK5103
.
4873
198. 17, 2009, Revised Selected Papers-Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15
پدیدآورنده : / Sullivan (eds.)بStefano Bistarelli, Daniele Pirolandi, Francesco Santini (auth.), Javier Larrosa, Barry O
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
199. Rigorous software engineering for service-oriented systems :
پدیدآورنده : Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
200. Rough Sets and Current Trends in Computing.
پدیدآورنده : Wojciech Ziarko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ebooks -- UML.
